#ifndef CONSTANTES
#define CONSTANTES

#include <math.h>

#define NB_DEGRES            2

#define _N                   1200 // Nombre de Variables
#define _K                   600 // Nombre de Checks   
#define _M                   4818 // Nombre de Messages 

#define NOEUD   _N
#define MESSAGE _M

#define NmoinsK     (_N-_K)

#define DEG_1                9
#define DEG_2                8

#define DEG_1_COMPUTATIONS   18
#define DEG_2_COMPUTATIONS   582

#define NB_ITERATIONS        20
#define NB_BITS_VARIABLES    8 //8
#define NB_BITS_MESSAGES     6 //6
#define SAT_POS_VAR  ( (0x0001<<(NB_BITS_VARIABLES-1))-1)
#define SAT_NEG_VAR  (-(0x0001<<(NB_BITS_VARIABLES-1))+1)
#define SAT_POS_MSG  ( (0x0001<<(NB_BITS_MESSAGES -1))-1)
#define SAT_NEG_MSG  (-(0x0001<<(NB_BITS_MESSAGES -1))+1)

static float  beta         = 0.15;
static int    FACTEUR_BETA = (0x0001<<(NB_BITS_MESSAGES/2));
static int    BETA_FIX; //     = ((int)(FACTEUR_BETA*beta))

#endif


#ifndef _PosNoeudsVariable_
#define _PosNoeudsVariable_
const unsigned short PosNoeudsVariable[4818] ={
/* msg =      0, deg =  9 */    159,    367,    451,    505,    530,    564,    595,    601,    602, 
/* msg =      1, deg =  9 */     91,    332,    436,    509,    539,    564,    596,    630,    631, 
/* msg =      2, deg =  9 */      3,    279,    435,    494,    541,    564,    584,    682,    683, 
/* msg =      3, deg =  9 */    143,    293,    381,    486,    523,    564,    598,    690,    691, 
/* msg =      4, deg =  9 */     26,    214,    425,    500,    549,    576,    599,    692,    693, 
/* msg =      5, deg =  9 */     65,    276,    433,    489,    555,    574,    575,    722,    723, 
/* msg =      6, deg =  9 */    163,    240,    396,    502,    553,    564,    593,    733,    734, 
/* msg =      7, deg =  9 */     17,    331,    379,    470,    531,    562,    599,    753,    754, 
/* msg =      8, deg =  9 */     43,    250,    438,    489,    528,    564,    566,    764,    765, 
/* msg =      9, deg =  9 */     57,    361,    421,    519,    544,    564,    592,    824,    825, 
/* msg =     10, deg =  9 */     74,    313,    421,    480,    557,    572,    599,    833,    834, 
/* msg =     11, deg =  9 */     32,    285,    434,    467,    544,    563,    597,    898,    899, 
/* msg =     12, deg =  9 */    201,    353,    414,    498,    551,    564,    599,    904,    905, 
/* msg =     13, deg =  9 */     72,    316,    441,    487,    540,    564,    594,    981,    982, 
/* msg =     14, deg =  9 */     51,    296,    450,    510,    546,    564,    583,   1023,   1024, 
/* msg =     15, deg =  9 */     36,    243,    408,    506,    519,    560,    599,   1041,   1042, 
/* msg =     16, deg =  9 */     75,    317,    394,    500,    552,    564,    579,   1104,   1105, 
/* msg =     17, deg =  9 */     27,    245,    410,    507,    545,    564,    582,   1136,   1137, 
/* msg =     18, deg =  8 */      0,    166,    253,    470,    504,    575,    600,    601, 
/* msg =     19, deg =  8 */    170,    320,    478,    523,    553,    570,    602,    603, 
/* msg =     20, deg =  8 */     60,    199,    401,    475,    537,    559,    603,    604, 
/* msg =     21, deg =  8 */     28,    319,    411,    497,    547,    572,    604,    605, 
/* msg =     22, deg =  8 */    191,    356,    480,    521,    532,    584,    605,    606, 
/* msg =     23, deg =  8 */    186,    366,    454,    491,    538,    582,    606,    607, 
/* msg =     24, deg =  8 */     92,    266,    430,    509,    542,    562,    607,    608, 
/* msg =     25, deg =  8 */     16,    370,    478,    522,    544,    588,    608,    609, 
/* msg =     26, deg =  8 */    101,    327,    364,    511,    554,    583,    609,    610, 
/* msg =     27, deg =  8 */     25,    234,    400,    483,    532,    566,    610,    611, 
/* msg =     28, deg =  8 */    110,    218,    390,    510,    527,    585,    611,    612, 
/* msg =     29, deg =  8 */     55,    324,    472,    503,    520,    569,    612,    613, 
/* msg =     30, deg =  8 */    160,    360,    378,    518,    557,    597,    613,    614, 
/* msg =     31, deg =  8 */     96,    272,    412,    489,    547,    568,    614,    615, 
/* msg =     32, deg =  8 */    150,    247,    473,    488,    557,    598,    615,    616, 
/* msg =     33, deg =  8 */      6,    226,    397,    507,    520,    589,    616,    617, 
/* msg =     34, deg =  8 */     72,    310,    459,    512,    546,    563,    617,    618, 
/* msg =     35, deg =  8 */    165,    340,    480,    519,    554,    571,    618,    619, 
/* msg =     36, deg =  8 */    113,    357,    461,    497,    540,    590,    619,    620, 
/* msg =     37, deg =  8 */     32,    172,    429,    484,    517,    589,    620,    621, 
/* msg =     38, deg =  8 */    171,    347,    400,    488,    538,    599,    621,    622, 
/* msg =     39, deg =  8 */     44,    253,    414,    479,    537,    560,    622,    623, 
/* msg =     40, deg =  8 */    150,    348,    431,    517,    528,    588,    623,    624, 
/* msg =     41, deg =  8 */    128,    277,    450,    503,    527,    577,    624,    625, 
/* msg =     42, deg =  8 */     17,    356,    391,    518,    543,    593,    625,    626, 
/* msg =     43, deg =  8 */    138,    372,    477,    485,    549,    581,    626,    627, 
/* msg =     44, deg =  8 */    156,    266,    397,    493,    526,    532,    627,    628, 
/* msg =     45, deg =  8 */     78,    308,    398,    482,    521,    596,    628,    629, 
/* msg =     46, deg =  8 */    111,    246,    383,    496,    555,    591,    629,    630, 
/* msg =     47, deg =  8 */    152,    367,    479,    489,    534,    594,    631,    632, 
/* msg =     48, deg =  8 */    204,    362,    452,    519,    545,    596,    632,    633, 
/* msg =     49, deg =  8 */    155,    361,    474,    516,    534,    584,    633,    634, 
/* msg =     50, deg =  8 */     53,    355,    407,    506,    526,    531,    606,    635, 
/* msg =     51, deg =  8 */    133,    289,    479,    516,    540,    599,    635,    636, 
/* msg =     52, deg =  8 */    128,    275,    399,    505,    554,    566,    636,    637, 
/* msg =     53, deg =  8 */     61,    200,    424,    507,    535,    562,    637,    638, 
/* msg =     54, deg =  8 */     86,    287,    444,    494,    540,    597,    638,    639, 
/* msg =     55, deg =  8 */     19,    228,    395,    492,    541,    569,    639,    640, 
/* msg =     56, deg =  8 */     45,    254,    415,    490,    518,    565,    640,    641, 
/* msg =     57, deg =  8 */      9,    251,    388,    487,    539,    588,    641,    642, 
/* msg =     58, deg =  8 */    110,    346,    457,    506,    547,    592,    642,    643, 
/* msg =     59, deg =  8 */    163,    342,    373,    488,    578,    600,    643,    644, 
/* msg =     60, deg =  8 */     40,    261,    440,    500,    535,    573,    644,    645, 
/* msg =     61, deg =  8 */     34,    335,    384,    483,    546,    572,    645,    646, 
/* msg =     62, deg =  8 */    136,    204,    377,    495,    540,    586,    646,    647, 
/* msg =     63, deg =  8 */     13,    247,    376,    502,    531,    568,    647,    648, 
/* msg =     64, deg =  8 */    121,    260,    439,    493,    540,    577,    648,    649, 
/* msg =     65, deg =  8 */    186,    312,    475,    483,    517,    570,    649,    650, 
/* msg =     66, deg =  8 */    178,    352,    479,    524,    532,    574,    650,    651, 
/* msg =     67, deg =  8 */     93,    317,    473,    518,    558,    576,    651,    652, 
/* msg =     68, deg =  8 */    126,    302,    455,    517,    536,    579,    652,    653, 
/* msg =     69, deg =  8 */    108,    323,    395,    486,    548,    594,    653,    654, 
/* msg =     70, deg =  8 */     76,    372,    446,    517,    559,    592,    654,    655, 
/* msg =     71, deg =  8 */     87,    338,    401,    487,    556,    569,    655,    656, 
/* msg =     72, deg =  8 */    176,    242,    465,    491,    525,    599,    656,    657, 
/* msg =     73, deg =  8 */    123,    316,    406,    489,    530,    598,    657,    658, 
/* msg =     74, deg =  8 */     20,    209,    391,    498,    542,    570,    658,    659, 
/* msg =     75, deg =  8 */    165,    177,    444,    484,    529,    560,    659,    660, 
/* msg =     76, deg =  8 */    105,    294,    393,    509,    545,    593,    660,    661, 
/* msg =     77, deg =  8 */     16,    352,    438,    514,    541,    596,    661,    662, 
/* msg =     78, deg =  8 */     71,    239,    472,    484,    528,    561,    662,    663, 
/* msg =     79, deg =  8 */    108,    371,    396,    510,    547,    581,    663,    664, 
/* msg =     80, deg =  8 */    153,    343,    384,    514,    520,    575,    664,    665, 
/* msg =     81, deg =  8 */     99,    238,    464,    494,    542,    587,    665,    666, 
/* msg =     82, deg =  8 */      4,    305,    478,    518,    536,    559,    666,    667, 
/* msg =     83, deg =  8 */    167,    365,    419,    501,    549,    595,    667,    668, 
/* msg =     84, deg =  8 */     95,    288,    438,    483,    558,    568,    668,    669, 
/* msg =     85, deg =  8 */     14,    222,    389,    494,    538,    577,    669,    670, 
/* msg =     86, deg =  8 */    119,    295,    414,    501,    514,    592,    670,    671, 
/* msg =     87, deg =  8 */     55,    308,    455,    500,    546,    597,    671,    672, 
/* msg =     88, deg =  8 */     56,    264,    388,    497,    533,    583,    672,    673, 
/* msg =     89, deg =  8 */    120,    313,    465,    511,    531,    581,    673,    674, 
/* msg =     90, deg =  8 */     73,    200,    360,    498,    555,    580,    674,    675, 
/* msg =     91, deg =  8 */     34,    364,    479,    525,    529,    585,    675,    676, 
/* msg =     92, deg =  8 */    202,    336,    416,    505,    520,    580,    626,    677, 
/* msg =     93, deg =  8 */     70,    197,    371,    511,    534,    597,    677,    678, 
/* msg =     94, deg =  8 */    168,    363,    392,    516,    555,    596,    678,    679, 
/* msg =     95, deg =  8 */     40,    235,    404,    507,    543,    581,    679,    680, 
/* msg =     96, deg =  8 */    176,    312,    428,    515,    549,    571,    680,    681, 
/* msg =     97, deg =  8 */     94,    295,    385,    512,    555,    587,    681,    682, 
/* msg =     98, deg =  8 */    114,    174,    357,    499,    551,    594,    683,    684, 
/* msg =     99, deg =  8 */    184,    370,    458,    506,    535,    589,    684,    685, 
/* msg =    100, deg =  8 */     77,    212,    423,    492,    547,    595,    685,    686, 
/* msg =    101, deg =  8 */     35,    310,    404,    502,    550,    582,    686,    687, 
/* msg =    102, deg =  8 */     91,    292,    427,    505,    557,    574,    687,    688, 
/* msg =    103, deg =  8 */     11,    284,    361,    487,    545,    563,    688,    689, 
/* msg =    104, deg =  8 */    123,    202,    475,    513,    524,    599,    689,    690, 
/* msg =    105, deg =  8 */     28,    237,    402,    503,    544,    571,    691,    692, 
/* msg =    106, deg =  8 */    137,    309,    470,    515,    524,    567,    693,    694, 
/* msg =    107, deg =  8 */     75,    196,    407,    510,    532,    598,    694,    695, 
/* msg =    108, deg =  8 */    113,    315,    469,    491,    529,    571,    695,    696, 
/* msg =    109, deg =  8 */     70,    362,    480,    518,    539,    581,    696,    697, 
/* msg =    110, deg =  8 */    107,    300,    450,    501,    560,    561,    697,    698, 
/* msg =    111, deg =  8 */    196,    333,    398,    517,    546,    571,    676,    699, 
/* msg =    112, deg =  8 */    159,    363,    395,    512,    531,    592,    699,    700, 
/* msg =    113, deg =  8 */     66,    270,    420,    510,    542,    593,    700,    701, 
/* msg =    114, deg =  8 */     97,    192,    393,    499,    523,    596,    701,    702, 
/* msg =    115, deg =  8 */    102,    232,    415,    493,    520,    578,    702,    703, 
/* msg =    116, deg =  8 */     30,    239,    403,    482,    548,    577,    703,    704, 
/* msg =    117, deg =  8 */      2,    209,    377,    481,    526,    528,    704,    705, 
/* msg =    118, deg =  8 */    152,    324,    469,    504,    532,    578,    705,    706, 
/* msg =    119, deg =  8 */    101,    233,    468,    513,    544,    585,    706,    707, 
/* msg =    120, deg =  8 */     68,    286,    444,    510,    549,    578,    707,    708, 
/* msg =    121, deg =  8 */     98,    298,    414,    515,    558,    585,    708,    709, 
/* msg =    122, deg =  8 */     26,    203,    439,    511,    560,    600,    709,    710, 
/* msg =    123, deg =  8 */    195,    292,    405,    497,    523,    586,    710,    711, 
/* msg =    124, deg =  8 */     96,    228,    449,    506,    537,    565,    711,    712, 
/* msg =    125, deg =  8 */     42,    293,    399,    514,    539,    593,    712,    713, 
/* msg =    126, deg =  8 */     79,    280,    421,    495,    536,    583,    713,    714, 
/* msg =    127, deg =  8 */    190,    315,    463,    506,    538,    567,    714,    715, 
/* msg =    128, deg =  8 */      8,    215,    384,    482,    531,    571,    715,    716, 
/* msg =    129, deg =  8 */     87,    354,    439,    494,    557,    573,    716,    717, 
/* msg =    130, deg =  8 */    169,    281,    409,    513,    533,    589,    717,    718, 
/* msg =    131, deg =  8 */    208,    381,    480,    558,    579,    634,    718,    719, 
/* msg =    132, deg =  8 */     23,    231,    397,    501,    544,    576,    719,    720, 
/* msg =    133, deg =  8 */    128,    323,    422,    499,    541,    586,    720,    721, 
/* msg =    134, deg =  8 */    144,    212,    444,    491,    524,    589,    721,    722, 
/* msg =    135, deg =  8 */    140,    210,    449,    480,    547,    561,    723,    724, 
/* msg =    136, deg =  8 */     40,    332,    387,    508,    545,    585,    724,    725, 
/* msg =    137, deg =  8 */     15,    181,    423,    487,    555,    598,    725,    726, 
/* msg =    138, deg =  8 */     90,    298,    422,    516,    551,    569,    726,    727, 
/* msg =    139, deg =  8 */    102,    267,    465,    481,    523,    566,    727,    728, 
/* msg =    140, deg =  8 */    104,    362,    420,    505,    531,    589,    728,    729, 
/* msg =    141, deg =  8 */    143,    326,    478,    512,    558,    572,    729,    730, 
/* msg =    142, deg =  8 */      1,    338,    437,    506,    528,    582,    730,    731, 
/* msg =    143, deg =  8 */     51,    248,    468,    493,    547,    567,    731,    732, 
/* msg =    144, deg =  8 */     31,    339,    436,    511,    538,    590,    732,    733, 
/* msg =    145, deg =  8 */    131,    291,    446,    498,    560,    597,    734,    735, 
/* msg =    146, deg =  8 */     59,    277,    434,    488,    550,    569,    735,    736, 
/* msg =    147, deg =  8 */      7,    190,    383,    490,    534,    570,    736,    737, 
/* msg =    148, deg =  8 */    175,    233,    363,    498,    550,    578,    737,    738, 
/* msg =    149, deg =  8 */     54,    262,    379,    509,    524,    571,    738,    739, 
/* msg =    150, deg =  8 */    170,    261,    427,    515,    547,    577,    739,    740, 
/* msg =    151, deg =  8 */     61,    334,    466,    485,    550,    595,    740,    741, 
/* msg =    152, deg =  8 */     14,    336,    411,    500,    536,    591,    741,    742, 
/* msg =    153, deg =  8 */    195,    322,    473,    504,    548,    593,    742,    743, 
/* msg =    154, deg =  8 */     46,    339,    365,    481,    555,    584,    743,    744, 
/* msg =    155, deg =  8 */    153,    229,    378,    491,    546,    579,    744,    745, 
/* msg =    156, deg =  8 */    111,    279,    475,    510,    528,    574,    745,    746, 
/* msg =    157, deg =  8 */    148,    362,    426,    507,    551,    573,    746,    747, 
/* msg =    158, deg =  8 */     98,    294,    380,    517,    524,    562,    747,    748, 
/* msg =    159, deg =  8 */    200,    366,    481,    514,    527,    569,    748,    749, 
/* msg =    160, deg =  8 */     76,    280,    417,    484,    525,    586,    749,    750, 
/* msg =    161, deg =  8 */      0,    223,    397,    500,    545,    571,    750,    751, 
/* msg =    162, deg =  8 */     39,    350,    480,    514,    556,    590,    751,    752, 
/* msg =    163, deg =  8 */    178,    326,    482,    490,    544,    567,    752,    753, 
/* msg =    164, deg =  8 */     99,    299,    408,    500,    577,    600,    754,    755, 
/* msg =    165, deg =  8 */    114,    329,    472,    519,    537,    584,    755,    756, 
/* msg =    166, deg =  8 */     52,    213,    414,    507,    538,    598,    756,    757, 
/* msg =    167, deg =  8 */     73,    359,    480,    520,    537,    582,    757,    758, 
/* msg =    168, deg =  8 */    127,    284,    443,    498,    526,    541,    698,    759, 
/* msg =    169, deg =  8 */    141,    333,    430,    485,    555,    577,    759,    760, 
/* msg =    170, deg =  8 */    130,    215,    438,    513,    542,    581,    758,    761, 
/* msg =    171, deg =  8 */    207,    375,    484,    527,    562,    760,    761,    762, 
/* msg =    172, deg =  8 */    184,    318,    464,    510,    558,    575,    748,    763, 
/* msg =    173, deg =  8 */    117,    300,    427,    512,    527,    582,    763,    764, 
/* msg =    174, deg =  8 */    136,    337,    374,    508,    555,    568,    765,    766, 
/* msg =    175, deg =  8 */     74,    256,    369,    506,    530,    576,    766,    767, 
/* msg =    176, deg =  8 */    157,    344,    475,    490,    545,    588,    767,    768, 
/* msg =    177, deg =  8 */     12,    368,    371,    504,    556,    596,    768,    769, 
/* msg =    178, deg =  8 */    118,    238,    407,    496,    553,    578,    769,    770, 
/* msg =    179, deg =  8 */    106,    314,    447,    499,    556,    582,    770,    771, 
/* msg =    180, deg =  8 */     65,    363,    462,    482,    527,    560,    771,    772, 
/* msg =    181, deg =  8 */    198,    345,    380,    486,    559,    561,    772,    773, 
/* msg =    182, deg =  8 */     92,    324,    424,    497,    548,    576,    773,    774, 
/* msg =    183, deg =  8 */     54,    258,    384,    502,    519,    595,    774,    775, 
/* msg =    184, deg =  8 */    194,    307,    411,    498,    533,    561,    775,    776, 
/* msg =    185, deg =  8 */    135,    231,    427,    511,    525,    593,    776,    777, 
/* msg =    186, deg =  8 */     18,    329,    442,    490,    595,    600,    777,    778, 
/* msg =    187, deg =  8 */    131,    310,    476,    489,    537,    570,    778,    779, 
/* msg =    188, deg =  8 */     47,    229,    413,    503,    551,    584,    779,    780, 
/* msg =    189, deg =  8 */    159,    351,    391,    515,    534,    598,    780,    781, 
/* msg =    190, deg =  8 */     79,    283,    437,    492,    527,    579,    781,    782, 
/* msg =    191, deg =  8 */    134,    322,    453,    511,    551,    595,    782,    783, 
/* msg =    192, deg =  8 */      9,    207,    387,    505,    544,    598,    783,    784, 
/* msg =    193, deg =  8 */     84,    319,    478,    519,    538,    578,    784,    785, 
/* msg =    194, deg =  8 */     82,    302,    451,    507,    525,    590,    785,    786, 
/* msg =    195, deg =  8 */     43,    255,    471,    488,    558,    587,    786,    787, 
/* msg =    196, deg =  8 */    168,    330,    410,    493,    543,    598,    787,    788, 
/* msg =    197, deg =  8 */     29,    259,    382,    484,    535,    574,    788,    789, 
/* msg =    198, deg =  8 */    103,    352,    467,    495,    543,    590,    789,    790, 
/* msg =    199, deg =  8 */    192,    355,    460,    501,    538,    572,    654,    791, 
/* msg =    200, deg =  8 */     62,    350,    475,    511,    522,    578,    791,    792, 
/* msg =    201, deg =  8 */    107,    237,    396,    509,    555,    589,    792,    793, 
/* msg =    202, deg =  8 */     24,    288,    459,    504,    541,    577,    793,    794, 
/* msg =    203, deg =  8 */    116,    241,    462,    507,    553,    597,    794,    795, 
/* msg =    204, deg =  8 */     96,    201,    373,    509,    559,    588,    795,    796, 
/* msg =    205, deg =  8 */      1,    208,    376,    485,    522,    563,    796,    797, 
/* msg =    206, deg =  8 */    174,    290,    366,    503,    536,    578,    797,    798, 
/* msg =    207, deg =  8 */     36,    284,    439,    488,    542,    566,    798,    799, 
/* msg =    208, deg =  8 */    112,    216,    460,    495,    550,    570,    799,    800, 
/* msg =    209, deg =  8 */    190,    211,    430,    489,    552,    561,    790,    801, 
/* msg =    210, deg =  8 */     55,    263,    409,    493,    539,    566,    801,    802, 
/* msg =    211, deg =  8 */     23,    203,    389,    496,    532,    569,    802,    803, 
/* msg =    212, deg =  8 */    177,    344,    435,    508,    525,    596,    803,    804, 
/* msg =    213, deg =  8 */    191,    250,    469,    493,    580,    600,    800,    805, 
/* msg =    214, deg =  8 */     49,     81,    420,    509,    551,    591,    805,    806, 
/* msg =    215, deg =  8 */    166,    343,    387,    485,    526,    548,    806,    807, 
/* msg =    216, deg =  8 */    291,    447,    486,    534,    589,    804,    807,    808, 
/* msg =    217, deg =  8 */    158,    340,    446,    507,    539,    577,    650,    809, 
/* msg =    218, deg =  8 */    197,    359,    470,    501,    556,    573,    809,    810, 
/* msg =    219, deg =  8 */    185,    372,    443,    518,    533,    575,    746,    811, 
/* msg =    220, deg =  8 */     50,    259,    419,    496,    550,    590,    811,    812, 
/* msg =    221, deg =  8 */     24,    225,    400,    503,    530,    588,    812,    813, 
/* msg =    222, deg =  8 */    193,    359,    374,    510,    531,    590,    813,    814, 
/* msg =    223, deg =  8 */     82,    258,    441,    445,    516,    560,    814,    815, 
/* msg =    224, deg =  8 */    106,    281,    456,    506,    548,    575,    815,    816, 
/* msg =    225, deg =  8 */    180,    334,    415,    497,    545,    567,    816,    817, 
/* msg =    226, deg =  8 */     10,    348,    476,    500,    530,    568,    817,    818, 
/* msg =    227, deg =  8 */     34,    241,    406,    505,    550,    579,    818,    819, 
/* msg =    228, deg =  8 */    108,    306,    457,    516,    542,    598,    819,    820, 
/* msg =    229, deg =  8 */    135,    328,    471,    491,    521,    583,    820,    821, 
/* msg =    230, deg =  8 */     28,    352,    476,    481,    520,    585,    821,    822, 
/* msg =    231, deg =  8 */    118,    206,    395,    513,    556,    576,    822,    823, 
/* msg =    232, deg =  8 */    151,    268,    428,    485,    546,    585,    823,    824, 
/* msg =    233, deg =  8 */    149,    197,    413,    481,    554,    596,    825,    826, 
/* msg =    234, deg =  8 */      4,    212,    381,    488,    532,    568,    826,    827, 
/* msg =    235, deg =  8 */     32,    240,    391,    504,    549,    574,    827,    828, 
/* msg =    236, deg =  8 */    189,    214,    435,    480,    562,    600,    828,    829, 
/* msg =    237, deg =  8 */    130,    353,    458,    495,    524,    573,    829,    830, 
/* msg =    238, deg =  8 */     38,    246,    411,    487,    532,    586,    830,    831, 
/* msg =    239, deg =  8 */    318,    462,    518,    556,    592,    634,    831,    832, 
/* msg =    240, deg =  8 */     97,    235,    466,    512,    538,    585,    832,    833, 
/* msg =    241, deg =  8 */     19,    194,    410,    485,    537,    591,    834,    835, 
/* msg =    242, deg =  8 */    182,    277,    451,    500,    524,    582,    835,    836, 
/* msg =    243, deg =  8 */     67,    271,    386,    498,    531,    594,    836,    837, 
/* msg =    244, deg =  8 */     57,    241,    393,    469,    528,    586,    837,    838, 
/* msg =    245, deg =  8 */    125,    320,    456,    489,    536,    562,    838,    839, 
/* msg =    246, deg =  8 */    112,    349,    468,    516,    557,    583,    839,    840, 
/* msg =    247, deg =  8 */     27,    342,    375,    503,    558,    567,    840,    841, 
/* msg =    248, deg =  8 */    105,    213,    454,    504,    546,    584,    841,    842, 
/* msg =    249, deg =  8 */     79,    230,    416,    486,    521,    590,    842,    843, 
/* msg =    250, deg =  8 */    358,    469,    517,    542,    594,    810,    843,    844, 
/* msg =    251, deg =  8 */    140,    291,    419,    490,    548,    585,    844,    845, 
/* msg =    252, deg =  8 */     85,    224,    388,    493,    553,    589,    845,    846, 
/* msg =    253, deg =  8 */     99,    296,    373,    511,    550,    561,    846,    847, 
/* msg =    254, deg =  8 */     49,    301,    377,    492,    543,    573,    847,    848, 
/* msg =    255, deg =  8 */    147,    254,    361,    484,    552,    570,    848,    849, 
/* msg =    256, deg =  8 */      6,    198,    406,    495,    519,    580,    849,    850, 
/* msg =    257, deg =  8 */    146,    325,    417,    515,    543,    570,    850,    851, 
/* msg =    258, deg =  8 */     83,    358,    392,    485,    521,    567,    851,    852, 
/* msg =    259, deg =  8 */     94,    231,    448,    504,    552,    592,    852,    853, 
/* msg =    260, deg =  8 */     86,    348,    379,    513,    550,    567,    853,    854, 
/* msg =    261, deg =  8 */     29,    349,    478,    520,    554,    576,    854,    855, 
/* msg =    262, deg =  8 */     31,    222,    404,    474,    522,    561,    855,    856, 
/* msg =    263, deg =  8 */    137,    341,    416,    503,    534,    565,    856,    857, 
/* msg =    264, deg =  8 */    173,    221,    463,    483,    553,    575,    857,    858, 
/* msg =    265, deg =  8 */     22,    287,    372,    499,    536,    569,    858,    859, 
/* msg =    266, deg =  8 */    110,    303,    411,    491,    545,    565,    859,    860, 
/* msg =    267, deg =  8 */     77,    281,    431,    490,    523,    597,    860,    861, 
/* msg =    268, deg =  8 */    179,    360,    477,    510,    553,    596,    861,    862, 
/* msg =    269, deg =  8 */     64,    306,    454,    497,    565,    600,    602,    863, 
/* msg =    270, deg =  8 */    179,    257,    479,    522,    541,    598,    863,    864, 
/* msg =    271, deg =  8 */     72,    275,    432,    500,    555,    561,    864,    865, 
/* msg =    272, deg =  8 */     37,    274,    387,    488,    535,    596,    865,    866, 
/* msg =    273, deg =  8 */    122,    307,    444,    490,    539,    568,    866,    867, 
/* msg =    274, deg =  8 */     88,    346,    469,    511,    555,    588,    867,    868, 
/* msg =    275, deg =  8 */    206,    374,    483,    561,    600,    808,    868,    869, 
/* msg =    276, deg =  8 */    141,    327,    472,    501,    524,    575,    869,    870, 
/* msg =    277, deg =  8 */     69,    302,    405,    502,    532,    588,    870,    871, 
/* msg =    278, deg =  8 */    160,    224,    474,    508,    535,    564,    871,    872, 
/* msg =    279, deg =  8 */     21,    326,    375,    515,    540,    593,    872,    873, 
/* msg =    280, deg =  8 */    139,    183,    403,    479,    542,    592,    873,    874, 
/* msg =    281, deg =  8 */     95,    346,    382,    502,    548,    580,    874,    875, 
/* msg =    282, deg =  8 */     60,    345,    420,    488,    522,    597,    875,    876, 
/* msg =    283, deg =  8 */    144,    337,    398,    513,    529,    590,    876,    877, 
/* msg =    284, deg =  8 */    115,    201,    477,    484,    530,    565,    877,    878, 
/* msg =    285, deg =  8 */      8,    322,    467,    499,    546,    560,    878,    879, 
/* msg =    286, deg =  8 */     67,    173,    423,    515,    526,    530,    879,    880, 
/* msg =    287, deg =  8 */    153,    327,    461,    489,    544,    565,    880,    881, 
/* msg =    288, deg =  8 */     44,    237,    410,    512,    554,    575,    881,    882, 
/* msg =    289, deg =  8 */     90,    211,    394,    513,    540,    595,    882,    883, 
/* msg =    290, deg =  8 */    180,    278,    382,    492,    546,    561,    883,    884, 
/* msg =    291, deg =  8 */     20,    342,    452,    518,    527,    580,    884,    885, 
/* msg =    292, deg =  8 */    164,    308,    435,    502,    552,    587,    885,    886, 
/* msg =    293, deg =  8 */     45,    327,    441,    495,    537,    577,    886,    887, 
/* msg =    294, deg =  8 */    100,    335,    422,    506,    545,    566,    887,    888, 
/* msg =    295, deg =  8 */    256,    473,    514,    544,    594,    762,    862,    889, 
/* msg =    296, deg =  8 */    129,    290,    393,    508,    549,    582,    889,    890, 
/* msg =    297, deg =  8 */     15,    223,    390,    495,    521,    578,    890,    891, 
/* msg =    298, deg =  8 */    139,    297,    464,    505,    553,    567,    891,    892, 
/* msg =    299, deg =  8 */     59,    334,    448,    482,    529,    583,    892,    893, 
/* msg =    300, deg =  8 */     93,    265,    377,    487,    527,    570,    893,    894, 
/* msg =    301, deg =  8 */     12,    252,    449,    491,    522,    569,    894,    895, 
/* msg =    302, deg =  8 */    148,    309,    459,    484,    550,    584,    895,    896, 
/* msg =    303, deg =  8 */     53,    337,    481,    517,    553,    599,    896,    897, 
/* msg =    304, deg =  8 */     84,    208,    443,    483,    535,    598,    897,    898, 
/* msg =    305, deg =  8 */    132,    346,    477,    518,    523,    595,    899,    900, 
/* msg =    306, deg =  8 */     76,    188,    445,    493,    537,    593,    900,    901, 
/* msg =    307, deg =  8 */    119,    317,    466,    496,    554,    594,    901,    902, 
/* msg =    308, deg =  8 */    168,    179,    436,    495,    525,    567,    902,    903, 
/* msg =    309, deg =  8 */    357,    453,    488,    529,    573,    888,    903,    904, 
/* msg =    310, deg =  8 */     11,    219,    387,    492,    531,    575,    905,    906, 
/* msg =    311, deg =  8 */     85,    350,    456,    512,    542,    567,    906,    907, 
/* msg =    312, deg =  8 */    120,    226,    434,    502,    537,    592,    907,    908, 
/* msg =    313, deg =  8 */    151,    351,    472,    516,    536,    581,    908,    909, 
/* msg =    314, deg =  8 */      7,    305,    375,    493,    538,    576,    909,    910, 
/* msg =    315, deg =  8 */    127,    355,    436,    513,    547,    573,    910,    911, 
/* msg =    316, deg =  8 */     98,    251,    434,    485,    528,    560,    911,    912, 
/* msg =    317, deg =  8 */    187,    270,    437,    483,    552,    577,    912,    913, 
/* msg =    318, deg =  8 */     44,    337,    462,    511,    536,    570,    913,    914, 
/* msg =    319, deg =  8 */     56,    354,    432,    514,    548,    578,    914,    915, 
/* msg =    320, deg =  8 */     93,    269,    382,    508,    552,    562,    915,    916, 
/* msg =    321, deg =  8 */    189,    366,    468,    512,    543,    579,    916,    917, 
/* msg =    322, deg =  8 */     78,    316,    365,    488,    534,    581,    917,    918, 
/* msg =    323, deg =  8 */    184,    368,    479,    523,    546,    593,    918,    919, 
/* msg =    324, deg =  8 */     47,    193,    460,    512,    539,    597,    919,    920, 
/* msg =    325, deg =  8 */    119,    182,    403,    513,    545,    587,    920,    921, 
/* msg =    326, deg =  8 */    199,    341,    364,    508,    543,    577,    921,    922, 
/* msg =    327, deg =  8 */    205,    304,    467,    509,    528,    587,    914,    923, 
/* msg =    328, deg =  8 */    142,    174,    419,    517,    529,    582,    923,    924, 
/* msg =    329, deg =  8 */    177,    360,    394,    482,    547,    591,    924,    925, 
/* msg =    330, deg =  8 */     22,    219,    461,    496,    556,    588,    925,    926, 
/* msg =    331, deg =  8 */    132,    325,    468,    509,    538,    594,    926,    927, 
/* msg =    332, deg =  8 */     58,    220,    423,    485,    539,    590,    927,    928, 
/* msg =    333, deg =  8 */     37,    244,    409,    498,    524,    585,    928,    929, 
/* msg =    334, deg =  8 */    192,    373,    476,    515,    536,    584,    929,    930, 
/* msg =    335, deg =  8 */    187,    366,    479,    521,    526,    554,    776,    931, 
/* msg =    336, deg =  8 */    116,    341,    408,    484,    531,    573,    931,    932, 
/* msg =    337, deg =  8 */      5,    273,    448,    486,    547,    593,    932,    933, 
/* msg =    338, deg =  8 */    167,    344,    384,    493,    542,    584,    933,    934, 
/* msg =    339, deg =  8 */     69,    198,    477,    491,    564,    600,    934,    935, 
/* msg =    340, deg =  8 */     39,    287,    370,    481,    533,    562,    935,    936, 
/* msg =    341, deg =  8 */     89,    306,    404,    501,    559,    599,    936,    937, 
/* msg =    342, deg =  8 */    113,    232,    402,    485,    554,    586,    937,    938, 
/* msg =    343, deg =  8 */    182,    301,    433,    490,    551,    592,    938,    939, 
/* msg =    344, deg =  8 */    109,    345,    428,    499,    542,    599,    939,    940, 
/* msg =    345, deg =  8 */     13,    356,    445,    500,    558,    589,    940,    941, 
/* msg =    346, deg =  8 */     61,    243,    375,    501,    528,    591,    941,    942, 
/* msg =    347, deg =  8 */    149,    311,    456,    491,    553,    594,    942,    943, 
/* msg =    348, deg =  8 */    146,    249,    467,    480,    541,    583,    943,    944, 
/* msg =    349, deg =  8 */     52,    335,    447,    511,    523,    526,    944,    945, 
/* msg =    350, deg =  8 */    276,    368,    503,    559,    597,    930,    945,    946, 
/* msg =    351, deg =  8 */    173,    289,    397,    508,    542,    572,    946,    947, 
/* msg =    352, deg =  8 */     82,    305,    437,    509,    533,    566,    947,    948, 
/* msg =    353, deg =  8 */    145,    328,    369,    504,    534,    587,    948,    949, 
/* msg =    354, deg =  8 */     35,    264,    479,    518,    528,    571,    949,    950, 
/* msg =    355, deg =  8 */    105,    301,    378,    501,    552,    574,    950,    951, 
/* msg =    356, deg =  8 */    189,    274,    457,    482,    524,    584,    951,    952, 
/* msg =    357, deg =  8 */     14,    227,    417,    449,    518,    568,    952,    953, 
/* msg =    358, deg =  8 */    127,    321,    469,    492,    537,    572,    953,    954, 
/* msg =    359, deg =  8 */    102,    299,    400,    489,    529,    589,    954,    955, 
/* msg =    360, deg =  8 */    144,    350,    452,    497,    552,    591,    955,    956, 
/* msg =    361, deg =  8 */     41,    271,    440,    506,    520,    559,    956,    957, 
/* msg =    362, deg =  8 */     43,    252,    402,    505,    521,    585,    957,    958, 
/* msg =    363, deg =  8 */    131,    324,    376,    494,    558,    580,    958,    959, 
/* msg =    364, deg =  8 */    123,    244,    467,    516,    522,    567,    959,    960, 
/* msg =    365, deg =  8 */    185,    425,    497,    553,    588,    762,    960,    961, 
/* msg =    366, deg =  8 */     57,    265,    422,    490,    521,    558,    961,    962, 
/* msg =    367, deg =  8 */     33,    234,    405,    492,    522,    560,    962,    963, 
/* msg =    368, deg =  8 */    191,    353,    465,    510,    548,    582,    963,    964, 
/* msg =    369, deg =  8 */    180,    368,    478,    524,    535,    569,    964,    965, 
/* msg =    370, deg =  8 */     64,    321,    390,    481,    541,    591,    965,    966, 
/* msg =    371, deg =  8 */    109,    259,    458,    505,    534,    576,    966,    967, 
/* msg =    372, deg =  8 */    143,    335,    473,    509,    543,    599,    967,    968, 
/* msg =    373, deg =  8 */      9,    216,    363,    491,    535,    572,    968,    969, 
/* msg =    374, deg =  8 */    115,    263,    425,    488,    533,    586,    969,    970, 
/* msg =    375, deg =  8 */    181,    354,    448,    499,    525,    570,    970,    971, 
/* msg =    376, deg =  8 */     71,    285,    407,    507,    521,    588,    971,    972, 
/* msg =    377, deg =  8 */      7,    312,    457,    504,    554,    563,    972,    973, 
/* msg =    378, deg =  8 */     83,    244,    426,    500,    557,    593,    973,    974, 
/* msg =    379, deg =  8 */    157,    319,    412,    501,    532,    564,    974,    975, 
/* msg =    380, deg =  8 */     21,    304,    455,    505,    559,    573,    975,    976, 
/* msg =    381, deg =  8 */    172,    298,    456,    518,    520,    563,    976,    977, 
/* msg =    382, deg =  8 */      2,    135,    368,    483,    560,    578,    977,    978, 
/* msg =    383, deg =  8 */     27,    236,    401,    502,    534,    573,    978,    979, 
/* msg =    384, deg =  8 */     17,    225,    392,    497,    539,    580,    979,    980, 
/* msg =    385, deg =  8 */    117,    283,    475,    498,    556,    584,    980,    981, 
/* msg =    386, deg =  8 */    104,    303,    453,    513,    537,    586,    982,    983, 
/* msg =    387, deg =  8 */    186,    271,    472,    492,    549,    591,    983,    984, 
/* msg =    388, deg =  8 */    203,    342,    478,    499,    555,    566,    984,    985, 
/* msg =    389, deg =  8 */    100,    248,    451,    494,    533,    596,    985,    986, 
/* msg =    390, deg =  8 */     33,    314,    432,    504,    525,    565,    986,    987, 
/* msg =    391, deg =  8 */    150,    330,    474,    519,    527,    568,    987,    988, 
/* msg =    392, deg =  8 */     66,    236,    429,    500,    533,    594,    988,    989, 
/* msg =    393, deg =  8 */    103,    332,    424,    482,    522,    573,    989,    990, 
/* msg =    394, deg =  8 */    162,    321,    447,    501,    540,    585,    990,    991, 
/* msg =    395, deg =  8 */    207,    379,    471,    530,    566,    922,    991,    992, 
/* msg =    396, deg =  8 */     35,    242,    407,    485,    533,    584,    992,    993, 
/* msg =    397, deg =  8 */     39,    248,    412,    484,    523,    587,    993,    994, 
/* msg =    398, deg =  8 */    151,    332,    415,    483,    559,    589,    994,    995, 
/* msg =    399, deg =  8 */    142,    252,    430,    481,    525,    573,    995,    996, 
/* msg =    400, deg =  8 */     19,    316,    431,    514,    554,    570,    996,    997, 
/* msg =    401, deg =  8 */    140,    353,    448,    483,    523,    569,    997,    998, 
/* msg =    402, deg =  8 */     24,    233,    399,    481,    546,    574,    998,    999, 
/* msg =    403, deg =  8 */    146,    318,    451,    486,    545,    562,    999,   1000, 
/* msg =    404, deg =  8 */     56,    341,    476,    516,    549,    594,   1000,   1001, 
/* msg =    405, deg =  8 */     64,    268,    426,    482,    525,    559,   1001,   1002, 
/* msg =    406, deg =  8 */    167,    356,    386,    511,    535,    585,   1002,   1003, 
/* msg =    407, deg =  8 */      3,    314,    449,    516,    527,    572,   1003,   1004, 
/* msg =    408, deg =  8 */     97,    297,    379,    503,    529,    598,   1004,   1005, 
/* msg =    409, deg =  8 */     42,    250,    371,    482,    551,    579,   1005,   1006, 
/* msg =    410, deg =  8 */     63,    351,    410,    506,    533,    573,   1006,   1007, 
/* msg =    411, deg =  8 */    138,    311,    377,    503,    545,    575,   1007,   1008, 
/* msg =    412, deg =  8 */     31,    353,    471,    512,    559,    598,   1008,   1009, 
/* msg =    413, deg =  8 */     69,    270,    409,    487,    541,    572,   1009,   1010, 
/* msg =    414, deg =  8 */     20,    322,    402,    507,    547,    569,   1010,   1011, 
/* msg =    415, deg =  8 */    161,    361,    419,    491,    541,    567,   1011,   1012, 
/* msg =    416, deg =  8 */     68,    314,    463,    502,    520,    586,   1012,   1013, 
/* msg =    417, deg =  8 */    115,    178,    461,    503,    542,    596,   1013,   1014, 
/* msg =    418, deg =  8 */    274,    474,    481,    552,    583,    676,   1014,   1015, 
/* msg =    419, deg =  8 */     91,    358,    380,    514,    538,    568,   1015,   1016, 
/* msg =    420, deg =  8 */    171,    296,    402,    502,    551,    565,   1016,   1017, 
/* msg =    421, deg =  8 */     86,    265,    472,    512,    552,    580,   1017,   1018, 
/* msg =    422, deg =  8 */    175,    356,    479,    519,    530,    577,   1018,   1019, 
/* msg =    423, deg =  8 */     18,    227,    394,    486,    541,    582,   1019,   1020, 
/* msg =    424, deg =  8 */     88,    205,    431,    515,    551,    583,   1020,   1021, 
/* msg =    425, deg =  8 */    121,    318,    478,    498,    532,    579,   1021,   1022, 
/* msg =    426, deg =  8 */    181,    320,    474,    513,    591,    600,    918,   1023, 
/* msg =    427, deg =  8 */    133,    245,    389,    484,    534,    590,   1024,   1025, 
/* msg =    428, deg =  8 */     10,    218,    386,    490,    537,    574,   1025,   1026, 
/* msg =    429, deg =  8 */      6,    214,    371,    485,    530,    570,   1026,   1027, 
/* msg =    430, deg =  8 */    152,    338,    394,    499,    524,    590,   1027,   1028, 
/* msg =    431, deg =  8 */     67,    347,    457,    495,    553,    576,   1028,   1029, 
/* msg =    432, deg =  8 */    124,    319,    403,    492,    557,    580,   1029,   1030, 
/* msg =    433, deg =  8 */      5,    292,    372,    480,    535,    563,   1030,   1031, 
/* msg =    434, deg =  8 */     48,    257,    418,    502,    536,    585,   1031,   1032, 
/* msg =    435, deg =  8 */    126,    313,    468,    514,    529,    576,   1032,   1033, 
/* msg =    436, deg =  8 */     23,    283,    415,    491,    551,    577,   1033,   1034, 
/* msg =    437, deg =  8 */    125,    220,    408,    505,    528,    569,   1034,   1035, 
/* msg =    438, deg =  8 */    154,    253,    440,    495,    548,    561,   1035,   1036, 
/* msg =    439, deg =  8 */     63,    267,    364,    497,    527,    574,   1036,   1037, 
/* msg =    440, deg =  8 */     11,    249,    412,    504,    530,    579,   1037,   1038, 
/* msg =    441, deg =  8 */    124,    263,    406,    508,    556,    597,   1022,   1039, 
/* msg =    442, deg =  8 */      0,    357,    481,    502,    544,    589,   1039,   1040, 
/* msg =    443, deg =  8 */     65,    269,    427,    494,    532,    592,   1040,   1041, 
/* msg =    444, deg =  8 */    139,    329,    401,    496,    546,    581,   1038,   1043, 
/* msg =    445, deg =  8 */    117,    206,    424,    473,    516,    526,   1043,   1044, 
/* msg =    446, deg =  8 */    145,    218,    467,    487,    559,    581,   1042,   1045, 
/* msg =    447, deg =  8 */    232,    398,    494,    545,    583,   1044,   1045,   1046, 
/* msg =    448, deg =  8 */     58,    369,    482,    514,    543,    561,    810,   1047, 
/* msg =    449, deg =  8 */    111,    354,    479,    517,    539,    563,   1047,   1048, 
/* msg =    450, deg =  8 */     48,    227,    429,    487,    511,    591,   1048,   1049, 
/* msg =    451, deg =  8 */    136,    331,    477,    507,    557,    570,   1049,   1050, 
/* msg =    452, deg =  8 */    165,    364,    450,    515,    556,    568,   1050,   1051, 
/* msg =    453, deg =  8 */     62,    243,    385,    486,    540,    576,   1051,   1052, 
/* msg =    454, deg =  8 */     15,    254,    471,    502,    556,    567,   1052,   1053, 
/* msg =    455, deg =  8 */     88,    289,    446,    510,    538,    565,   1053,   1054, 
/* msg =    456, deg =  8 */    154,    365,    480,    503,    550,    589,   1054,   1055, 
/* msg =    457, deg =  8 */     16,    224,    391,    496,    523,    579,   1055,   1056, 
/* msg =    458, deg =  8 */     74,    278,    409,    509,    556,    583,   1056,   1057, 
/* msg =    459, deg =  8 */    149,    295,    464,    519,    535,    593,   1057,   1058, 
/* msg =    460, deg =  8 */     51,    215,    392,    496,    529,    566,   1058,   1059, 
/* msg =    461, deg =  8 */    166,    355,    478,    517,    545,    595,   1059,   1060, 
/* msg =    462, deg =  8 */      2,    303,    435,    507,    540,    568,   1060,   1061, 
/* msg =    463, deg =  8 */     46,    255,    416,    490,    525,    566,   1061,   1062, 
/* msg =    464, deg =  8 */    162,    354,    395,    477,    544,    577,   1062,   1063, 
/* msg =    465, deg =  8 */     85,    286,    421,    488,    527,    594,   1063,   1064, 
/* msg =    466, deg =  8 */     38,    349,    446,    482,    530,    587,   1064,   1065, 
/* msg =    467, deg =  8 */    124,    225,    378,    494,    535,    594,   1065,   1066, 
/* msg =    468, deg =  8 */    185,    329,    478,    515,    557,    562,    772,   1067, 
/* msg =    469, deg =  8 */     42,    172,    454,    519,    549,    559,   1067,   1068, 
/* msg =    470, deg =  8 */    161,    217,    370,    513,    515,    565,   1068,   1069, 
/* msg =    471, deg =  8 */     52,    260,    420,    508,    553,    586,   1069,   1070, 
/* msg =    472, deg =  8 */    163,    317,    423,    480,    525,    587,   1066,   1071, 
/* msg =    473, deg =  8 */    307,    367,    506,    541,    580,   1070,   1071,   1072, 
/* msg =    474, deg =  8 */     50,    369,    450,    481,    529,    593,    984,   1073, 
/* msg =    475, deg =  8 */    188,    333,    381,    495,    551,    589,   1073,   1074, 
/* msg =    476, deg =  8 */    188,    304,    392,    483,    557,    585,    632,   1075, 
/* msg =    477, deg =  8 */     59,    112,    370,    507,    549,    575,   1075,   1076, 
/* msg =    478, deg =  8 */    195,    268,    440,    487,    529,    574,   1076,   1077, 
/* msg =    479, deg =  8 */    340,    425,    492,    526,    540,    930,   1077,   1078, 
/* msg =    480, deg =  8 */     25,    138,    462,    502,    554,    584,   1078,   1079, 
/* msg =    481, deg =  8 */    142,    328,    426,    515,    523,    581,   1079,   1080, 
/* msg =    482, deg =  8 */     87,    288,    434,    486,    539,    584,   1080,   1081, 
/* msg =    483, deg =  8 */     75,    343,    405,    498,    557,    581,   1081,   1082, 
/* msg =    484, deg =  8 */     83,    286,    442,    503,    519,    576,   1082,   1083, 
/* msg =    485, deg =  8 */    360,    471,    492,    536,    565,   1046,   1083,   1084, 
/* msg =    486, deg =  8 */    134,    204,    399,    493,    555,    571,   1084,   1085, 
/* msg =    487, deg =  8 */     90,    282,    470,    498,    523,    592,   1085,   1086, 
/* msg =    488, deg =  8 */    255,    412,    511,    553,    565,   1072,   1086,   1087, 
/* msg =    489, deg =  8 */    125,    333,    459,    508,    521,    576,   1087,   1088, 
/* msg =    490, deg =  8 */     89,    246,    476,    483,    519,    579,   1088,   1089, 
/* msg =    491, deg =  8 */    183,    343,    468,    517,    534,    580,   1089,   1090, 
/* msg =    492, deg =  8 */     10,    312,    441,    503,    541,    593,   1090,   1091, 
/* msg =    493, deg =  8 */     80,    362,    466,    492,    533,    597,   1091,   1092, 
/* msg =    494, deg =  8 */    114,    275,    398,    489,    549,    563,   1092,   1093, 
/* msg =    495, deg =  8 */    137,    278,    429,    512,    522,    590,   1093,   1094, 
/* msg =    496, deg =  8 */     54,    358,    458,    518,    553,    583,   1094,   1095, 
/* msg =    497, deg =  8 */     33,    239,    381,    489,    542,    591,   1095,   1096, 
/* msg =    498, deg =  8 */     78,    260,    417,    499,    527,    588,   1096,   1097, 
/* msg =    499, deg =  8 */    348,    454,    496,    541,    592,    808,   1097,   1098, 
/* msg =    500, deg =  8 */     84,    299,    460,    509,    525,    568,   1098,   1099, 
/* msg =    501, deg =  8 */    158,    351,    466,    508,    548,    591,   1099,   1100, 
/* msg =    502, deg =  8 */      3,    211,    380,    487,    531,    567,   1100,   1101, 
/* msg =    503, deg =  8 */    147,    323,    479,    520,    536,    587,   1101,   1102, 
/* msg =    504, deg =  8 */     46,    262,    452,    510,    535,    586,   1102,   1103, 
/* msg =    505, deg =  8 */    129,    247,    433,    506,    544,    562,   1103,   1104, 
/* msg =    506, deg =  8 */    106,    267,    438,    487,    536,    592,   1105,   1106, 
/* msg =    507, deg =  8 */     63,    210,    474,    509,    520,    595,   1074,   1107, 
/* msg =    508, deg =  8 */    187,    242,    359,    494,    546,    578,   1107,   1108, 
/* msg =    509, deg =  8 */     13,    221,    388,    482,    532,    576,   1108,   1109, 
/* msg =    510, deg =  8 */     81,    285,    389,    512,    571,    600,   1109,   1110, 
/* msg =    511, deg =  8 */    160,    355,    426,    519,    520,    570,   1106,   1111, 
/* msg =    512, deg =  8 */    202,    479,    493,    557,    568,   1110,   1111,   1112, 
/* msg =    513, deg =  8 */    132,    310,    383,    486,    554,    587,    964,   1113, 
/* msg =    514, deg =  8 */    116,    330,    443,    514,    549,    579,   1113,   1114, 
/* msg =    515, deg =  8 */    217,    441,    496,    557,    571,   1046,   1114,   1115, 
/* msg =    516, deg =  8 */    158,    222,    418,    517,    550,    583,   1115,   1116, 
/* msg =    517, deg =  8 */    154,    345,    455,    489,    556,    581,   1116,   1117, 
/* msg =    518, deg =  8 */     30,    228,    478,    521,    539,    574,   1117,   1118, 
/* msg =    519, deg =  8 */     77,    331,    432,    481,    550,    563,   1118,   1119, 
/* msg =    520, deg =  8 */     81,    328,    424,    489,    543,    596,   1119,   1120, 
/* msg =    521, deg =  8 */    164,    330,    440,    490,    522,    586,   1120,   1121, 
/* msg =    522, deg =  8 */      8,    294,    418,    488,    521,    582,   1121,   1122, 
/* msg =    523, deg =  8 */    122,    234,    406,    496,    528,    562,   1122,   1123, 
/* msg =    524, deg =  8 */     89,    290,    429,    493,    548,    587,   1123,   1124, 
/* msg =    525, deg =  8 */     50,    334,    442,    494,    552,    582,   1124,   1125, 
/* msg =    526, deg =  8 */     71,    199,    431,    495,    533,    587,   1125,   1126, 
/* msg =    527, deg =  8 */    147,    326,    374,    497,    538,    595,   1126,   1127, 
/* msg =    528, deg =  8 */     22,    230,    396,    500,    543,    574,   1127,   1128, 
/* msg =    529, deg =  8 */     18,    320,    465,    501,    558,    578,   1128,   1129, 
/* msg =    530, deg =  8 */     70,    273,    430,    488,    554,    590,   1129,   1130, 
/* msg =    531, deg =  8 */    145,    339,    422,    508,    557,    563,   1130,   1131, 
/* msg =    532, deg =  8 */     38,    293,    428,    492,    581,    600,   1131,   1132, 
/* msg =    533, deg =  8 */    157,    262,    463,    496,    547,    580,    904,   1133, 
/* msg =    534, deg =  8 */     80,    264,    385,    491,    531,    563,   1133,   1134, 
/* msg =    535, deg =  8 */    141,    276,    418,    516,    558,    586,   1134,   1135, 
/* msg =    536, deg =  8 */    109,    169,    470,    508,    538,    574,   1135,   1136, 
/* msg =    537, deg =  8 */    196,    325,    376,    453,    514,    562,   1137,   1138, 
/* msg =    538, deg =  8 */     62,    266,    425,    504,    527,    583,   1138,   1139, 
/* msg =    539, deg =  8 */     29,    238,    367,    501,    547,    563,   1139,   1140, 
/* msg =    540, deg =  8 */    130,    323,    437,    500,    544,    580,   1140,   1141, 
/* msg =    541, deg =  8 */    205,    461,    504,    535,    599,   1112,   1141,   1142, 
/* msg =    542, deg =  8 */    100,    300,    390,    485,    525,    571,   1142,   1143, 
/* msg =    543, deg =  8 */     60,    311,    463,    514,    558,    588,   1143,   1144, 
/* msg =    544, deg =  8 */    226,    393,    482,    540,    581,   1072,   1144,   1145, 
/* msg =    545, deg =  8 */    169,    273,    404,    491,    526,    537,   1145,   1146, 
/* msg =    546, deg =  8 */    101,    223,    413,    492,    548,    566,   1146,   1147, 
/* msg =    547, deg =  8 */     94,    315,    373,    505,    539,    586,   1147,   1148, 
/* msg =    548, deg =  8 */     48,    216,    365,    494,    526,    556,   1148,   1149, 
/* msg =    549, deg =  8 */    118,    282,    445,    517,    522,    572,   1149,   1150, 
/* msg =    550, deg =  8 */    164,    336,    439,    510,    543,    569,   1150,   1151, 
/* msg =    551, deg =  8 */      1,    210,    378,    486,    529,    565,   1151,   1152, 
/* msg =    552, deg =  8 */     95,    313,    470,    496,    530,    561,   1152,   1153, 
/* msg =    553, deg =  8 */    121,    315,    442,    484,    549,    566,   1153,   1154, 
/* msg =    554, deg =  8 */     66,    219,    386,    486,    543,    578,   1154,   1155, 
/* msg =    555, deg =  8 */    148,    349,    433,    497,    534,    599,   1155,   1156, 
/* msg =    556, deg =  8 */     25,    282,    436,    480,    548,    568,   1156,   1157, 
/* msg =    557, deg =  8 */    193,    297,    376,    490,    530,    594,   1157,   1158, 
/* msg =    558, deg =  8 */     80,    209,    458,    501,    521,    587,   1158,   1159, 
/* msg =    559, deg =  8 */     41,    251,    413,    494,    531,    572,   1159,   1160, 
/* msg =    560, deg =  8 */    171,    336,    447,    515,    544,    561,   1160,   1161, 
/* msg =    561, deg =  8 */    129,    340,    399,    485,    531,    579,   1161,   1162, 
/* msg =    562, deg =  8 */      5,    213,    382,    489,    533,    569,   1162,   1163, 
/* msg =    563, deg =  8 */     53,    261,    421,    499,    540,    575,   1163,   1164, 
/* msg =    564, deg =  8 */     30,    325,    471,    497,    526,    549,   1164,   1165, 
/* msg =    565, deg =  8 */    120,    279,    408,    473,    546,    565,   1165,   1166, 
/* msg =    566, deg =  8 */    155,    347,    442,    507,    559,    563,   1166,   1167, 
/* msg =    567, deg =  8 */     37,    339,    385,    483,    550,    591,   1167,   1168, 
/* msg =    568, deg =  8 */     45,    236,    478,    480,    528,    597,   1168,   1169, 
/* msg =    569, deg =  8 */    183,    221,    380,    504,    543,    595,   1169,   1170, 
/* msg =    570, deg =  8 */    170,    359,    476,    506,    522,    595,   1132,   1171, 
/* msg =    571, deg =  8 */    245,    464,    499,    530,    592,    652,   1171,   1172, 
/* msg =    572, deg =  8 */     41,    249,    383,    508,    524,    560,   1172,   1173, 
/* msg =    573, deg =  8 */    122,    331,    453,    516,    552,    590,   1173,   1174, 
/* msg =    574, deg =  8 */     26,    235,    388,    495,    534,    566,   1174,   1175, 
/* msg =    575, deg =  8 */    156,    369,    418,    513,    518,    588,   1175,   1176, 
/* msg =    576, deg =  8 */    344,    413,    516,    523,    575,    698,   1170,   1177, 
/* msg =    577, deg =  8 */     92,    280,    400,    505,    551,    582,   1177,   1178, 
/* msg =    578, deg =  8 */    162,    240,    478,    487,    550,    596,   1178,   1179, 
/* msg =    579, deg =  8 */    126,    358,    459,    510,    533,    572,   1179,   1180, 
/* msg =    580, deg =  8 */    217,    385,    490,    536,    573,   1112,   1180,   1181, 
/* msg =    581, deg =  8 */     47,    256,    417,    498,    552,    572,   1181,   1182, 
/* msg =    582, deg =  8 */    155,    352,    433,    505,    558,    591,   1182,   1183, 
/* msg =    583, deg =  8 */      4,    272,    390,    513,    554,    560,   1183,   1184, 
/* msg =    584, deg =  8 */     68,    230,    389,    487,    524,    595,   1184,   1185, 
/* msg =    585, deg =  8 */     36,    309,    403,    483,    522,    562,   1185,   1186, 
/* msg =    586, deg =  8 */    103,    194,    452,    486,    526,    555,   1186,   1187, 
/* msg =    587, deg =  8 */     58,    357,    445,    512,    547,    574,   1187,   1188, 
/* msg =    588, deg =  8 */    134,    269,    460,    497,    528,    579,   1176,   1189, 
/* msg =    589, deg =  8 */     49,    258,    416,    499,    537,    571,   1189,   1190, 
/* msg =    590, deg =  8 */    107,    257,    383,    484,    551,    580,   1190,   1191, 
/* msg =    591, deg =  8 */    161,    338,    455,    498,    540,    588,   1191,   1192, 
/* msg =    592, deg =  8 */     12,    220,    374,    493,    529,    575,   1192,   1193, 
/* msg =    593, deg =  8 */    272,    428,    496,    520,    572,    922,   1193,   1194, 
/* msg =    594, deg =  8 */    133,    311,    405,    509,    521,    597,   1188,   1195, 
/* msg =    595, deg =  8 */    176,    367,    443,    495,    539,    560,   1195,   1196, 
/* msg =    596, deg =  8 */    104,    175,    396,    494,    598,    600,   1194,   1197, 
/* msg =    597, deg =  8 */     21,    229,    386,    499,    532,    563,   1196,   1198, 
/* msg =    598, deg =  8 */    156,    347,    432,    486,    552,    571,   1197,   1199, 
/* msg =    599, deg =  8 */     73,    321,    401,    484,    526,    600,   1198,   1199
};
#endif

